161. Scalable hardware verification with symbolic simulation
Author: / Valeria Bertacco
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Integrated circuits -- Verification -- Simulation methods,System design -- Simulation methods
Classification :
TK
7874
.
58
.
B47
2006
162. Simulation Techniques and Solutions for Mixed-Signal Coupling in Integrated Circuits
Author: by Nishath K. Verghese, Timothy J. Schmerbeck, David J. Allstot.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Engineering.,Systems engineering.
163. Standardized functional verification
Author: Wiemann, Alan.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Integrated circuits --Verification,، Circuits inte gre s --Ve rification
Classification :
TK
7874
.
58
.
W54
2008
164. Step-by-step functional verification with SystemVerilog and OVM /
Author: by Iman Sasan
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Integrated circuits-- Verification,Verilog (Computer hardware description language)
165. Surrogate-Based Modeling and Optimizatio
Author: / edited by Slawomir Koziel, Leifur Leifsson
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science, Mathematics,Mathematical optimization,Astronautics,Electronic books
Classification :
E-BOOK
166. Symbolic simulation methods for industrial formal verification
Author: / Robert B. Jones
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Formal methods (computer science)
Classification :
TK
7874
.
75
.
J66
2002
167. System-on-chip :
Author: edited by Bashir M. Al-Hashimi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Embedded computer systems.,Microelectronics.,Systems on a chip.,COMPUTERS-- Logic Design.,Embedded computer systems.,Microelectronics.,Microélectronique.,Systèmes enfouis (informatique),Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.,TECHNOLOGY & ENGINEERING-- Electronics-- Digital.,TECHNOLOGY & ENGINEERING-- Electronics-- Microelectronics.
Classification :
TK7895
.
E42
S976
2006eb
168. System specification and design languages
Author: / Tom J. Kaazmierski, Adam Morawiec, editors
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer hardware description languages--Congresses,Integrated circuits--Very large scale integration--Design and construction--Congresses,Formal methods (Computer science)--Congresses,Software engineering--Congresses,Computer software--Verification--Congresses,Software architecture--Congresses
Classification :
TK7885
.
7
.
F35
2012
169. System specification and design languages
Author: Tom J. Kaźmierski, Adam Morawiec, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses
Classification :
TK7885
.
7
.
F35
2010eb
170. System specification & design languages :
Author: edited by Eugenio Villar, Jean Mermet.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer hardware description languages -- Congresses.,Computer hardware description languages.,Integrated circuits -- Very large scale integration -- Design and construction -- Congresses.
Classification :
TK7885
.
7
E358
2003
171. System verilog for verification :a guide to learning the testbench language features
Author: Spear, Chris.
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: ، Verilog )Computer hardware description language(,Verification ، Integrated circuits
Classification :
TK
7885
.
7
.
S67
172. SystemVerilog For Verification : A Guide To Learning The Testbench Language Features
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Verilog (Computer hardware description language),Integrated circuits - Verification,وریلاگ )زبان توصیفی سخت افزار کامپیوتر(,مدارهای مجتمع - تشخیص,Spear, Chris.
Classification :
CD-B
,
TK
,
7885
,.
7
,.
S67
,
2006
173. SystemVerilog assertions and functional coverage
Author: / Ashok B. Mehta
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering,Circuits and Systems,Electronics and Microelectronics, Instrumentation,Processor Architectures,Verilog (Computer hardware description language),Electronic digital computers, Design and construction,Integrated circuits, Verification,TECHNOLOGY & ENGINEERING / Mechanical, bisacsh
Classification :
E-BOOK
174. SystemVerilog assertions and functional coverage :guide to language, methodology and applications
Author: Mehta, Ashok B., Ashok B. Mehta
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Verilog )Computer hardware description language(,Design and construction ، Electronic digital computers,Verification ، Integrated circuits,، Engineering,، Circuits and Systems,، Electronics and Microelectronics, Instrumentation,، Processor Architectures
Classification :
TK7885
.
7
175. SystemVerilog for verification
Author: / Chris Spear
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Verilog (Computer hardware description language),Integrated circuits- Verification
Classification :
TK7885
.
7
.
S67
2006
176. SystemVerilog for verification
Author: / Chris Spear
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Verilog (Computer hardware description language),Integrated circuits- Verification
Classification :
E-BOOK
177. SystemVerilog for verification
Author: / Chris Spear, Greg Tumbush
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer hardware description languages.,Integrated circuits--Verification,Object-oriented programming (Computer science)
Classification :
TK7885
.
7
.
S64
2012
178. SystemVerilog for verification :
Author: Chris Spear, Greg Tumbush.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer hardware description languages.,Integrated circuits-- Verification.,Object-oriented programming (Computer science)
Classification :
TK7885
.
7
.
S64
2012eb
179. Systemverilog assertions and functional coverage: guide to language, methodology and applications
Author: Mehta, Ashok B.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Verilog )Computer hardware description language(,، Electronic digital computers - Design and construction,، Integrated circuits - Verification
Classification :
TK
7885
.
7
.
M4
2014
180. Systemverilog for verification :
Author:
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Verilog (Computer hardware description language),Integrated circuits , Verification
Classification :
E-BOOK
